Program

last modified: 06 Nov 2021

All times are CET. The selector below allows you to display all times in your current timezone (estimated by your browser). Note that some regions will switch to standard time during the conference. This functionality is provided for your convenience, and we recommend that you double-check that the conversion is correct in your case.

Search titles and author lists

We 3 Th 4 Fr 5 Mo 8 Tu 9 We 10 Th 11 Fr 12 All

Friday, 12 Nov 2021

room A

2021-11-12T09:00:00+01:00 - 2021-11-12T10:00:00+01:00 09:00 - 10:00
Invited Talk:

Jochen Renz
Spatial and Physical Reasoning: From Angry Birds to Open World AI

chair: Michael Thielscher

in Gather enter 2021-11-12T10:00:00+01:00 - 2021-11-12T10:15:00+01:00 10:00 - 10:15

Break

room A

2021-11-12T10:15:00+01:00 - 2021-11-12T11:00:00+01:00 10:15 - 11:00

Epistemic Logic

chair: François Schwarzentruber

long Thomas Ågotnes and Yì Nicholas WángSomebody Knows details
long Yusuke Kawamoto, Tetsuya Sato and Kohei SuenagaFormalizing Statistical Beliefs in Hypothesis Testing Using Program Logic details
short Andreas Herzig, Frédéric Maris and Elise PerrotinA Dynamic Epistemic Logic with Finite Iteration and Parallel Composition details
short Andreas Herzig and Antonio Yuste-GinelOn the epistemic logic of incomplete argumentation frameworks details

room B

2021-11-12T10:15:00+01:00 - 2021-11-12T11:00:00+01:00 10:15 - 11:00

Applications & Systems 2

chair: Martin Gebser

App & Systems long Mate Soos and Kuldeep S. MeelGaussian Elimination meets Maximum Satisfiability details
KR & ML long Taisuke Sato and Ryosuke KojimaBoolean network learning in vector spaces for genome-wide network analysis details
App & Systems short Marjolein Deryck, Nuno Comenda, Bart Coppens and Joost VennekensCombining Logic and Natural Language Processing to Support Investment Management details
App & Systems short Carl Corea, Matthias Thimm and Patrick DelfmannMeasuring Inconsistency over Sequences of Business Rule Cases details

in Gather enter 2021-11-12T11:00:00+01:00 - 2021-11-12T11:30:00+01:00 11:00 - 11:30

Posters

room A

2021-11-12T14:00:00+01:00 - 2021-11-12T15:00:00+01:00 14:00 - 15:00

Description Logics

chair: Tommie Meyer

long Robin Nolte and Thomas SchneiderProperties of Module Notions and Atomic Decomposition details
long Claudia Cauli, Magdalena Ortiz and Nir PitermanClosed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security details
long Alessandro Artale, Andrea Mazzullo, Ana Ozaki and Frank WolterOn Free Description Logics with Definite Descriptions details
short Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova and Marcel SteinmetzMaking DL-Lite Planning Practical details
RPR Track abstract Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian NuradiansyahComputing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes pdf

room B

2021-11-12T14:00:00+01:00 - 2021-11-12T14:55:00+01:00 14:00 - 14:55

Argumentation 3

chair: Francesca Toni

long Annemarie Borg and Floris BexEnforcing Sets of Formulas in Structured Argumentation details
long Zeynep G. Saribatur and Johannes P. WallnerExistential Abstraction on Argumentation Frameworks via Clustering details
short Wolfgang Dvořák, Matthias König and Stefan WoltranOn the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length details
short Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba and Matthias ThimmDistinguishability in Abstract Argumentation details
short Markus UlbrichtOn the Maximal Number of Complete Extensions in Abstract Argumentation Frameworks details